منابع مشابه
Terminator
The Markgraf Karl Refutation Procedure (MKR-Procedure) is an automated theorem prover for sorted logic, based on an extended clause graph calculus, currently under development at the University of Karlsruhe. This paper describes the TERMINATOR module, a component of the MKR-Procedure, which is essentially a very fast algorithm for the search for unit refuta-tions. The TERMINATOR is used as a fa...
متن کاملUrgent fisheries changes sought
Europe's fishermen should stop catching North Sea cod and continue to avoid Bay of Biscay anchovies next year if the two species are to stand a chance of survival after years of chronic overfishing, scientists announced last month. Despite improvements in the numbers of northern hake, herring and mackerel, other species living in the northeast Atlantic need more time to rebuild stocks, the Inte...
متن کاملOn dynamic compromise
What prevents majorities from extracting surplus from minorities in legislatures? We study an infinite horizon game where a legislative body votes to determine distributive policy each period. Proposals accepted by a simple majority are implemented, otherwise the status quo allocation prevails. We construct symmetric Markov perfect equilibria that exhibit compromise in the following sense: if t...
متن کاملTexture at the Terminator
We identify a neglected source of information in the 3D texture in images of articulated surfaces. The texture is especially noticeable near the terminator of the body shadow. We provide a very simple model that allows us to describe the 3D texture contrast in detail. Experiments involving the data from the Curet database, laboratory observations, and informal snapshots reveal that the observat...
متن کاملCause sought for student illness
Food p o iso n in g is be ing c o n s idered by the D epa rtm e n t o f En v iro n m e n ta l H ealth and Safety (D E H S ) as a possib le cause o f the recen t surge o f ga s tro e n te ritis am ong N o rth Q uad students. No firm ev idence has been fo u nd yet to co n n ec t the N o tre Dam e Food Service w ith the illness. “ I t doesn 't seem lik e ly i t co u ld be food p o is o n in g ,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1999
ISSN: 0028-0836,1476-4687
DOI: 10.1038/21491